mass spectrometry protein computational biology proteome proteomics data mining biotechnology chromatography proteomic software bioinformatics genome genetic genomics hplc protein prophet